Knihy od autora Thierry Coquand
Zobrazeno 1 – 1 z 1 výsledků
-
Types for Proofs and Programs
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith | Springer, Berlin, 2000
Skladem u dodavatele v malém množství - Odesíláme za 14-18 dnůJazyk: Angličtina
Vazba: Brožovaná
1681 Kč
Další
Stránka 1. z 1
Předchozí
Knihy vám rádi za malý poplatek dárkově zabalíme. Zjistěte více
Filtrovat výsledky
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)